Internships

Visits to International Teams

Research Stays Abroad

F. Gilbert spent one month in the formal methods team at NASA Langley Research Center, to work with Cesar Munoz on the use of automated theorem provers to verify PVS proofs.